Systems analysis

Results: 12418



#Item
151

Inconsistency in Multi-Context Systems: Analysis and Efficient Evaluation DISSERTATION zur Erlangung des akademischen Grades

Add to Reading List

Source URL: www.peterschueller.com

- Date: 2012-11-15 13:02:25
    152

    Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization Stanley Bak Taylor T. Johnson

    Add to Reading List

    Source URL: www.taylortjohnson.com

    - Date: 2015-08-31 22:34:13
      153

      Security analysis of Dutch smart metering systems Security analysis of Dutch smart metering systems Sander Keemink and Bart Roos July 2, 2008

      Add to Reading List

      Source URL: www.delaat.net

      - Date: 2014-07-21 06:03:55
        154

        Identifying and Validating Ontology Mappings by Formal Concept Analysis Mengyi Zhao1 and Songmao Zhang2 1,2 Institute of Mathematics, Academy of Mathematics and Systems Science,

        Add to Reading List

        Source URL: disi.unitn.it

        - Date: 2016-09-05 09:56:52
          155

          Timing Analysis for Sensor Network Nodes of the Atmega Processor Family ∗ Sibin Mohan1 , Frank Mueller1 , David Whalley2 and Christopher Healy3 1 Dept. of Computer Science, Center for Embedded Systems Research, North C

          Add to Reading List

          Source URL: moss.csc.ncsu.edu

          - Date: 2004-12-13 09:52:03
            156

            Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg To cite this version:

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2016-08-22 10:24:41
              157

              DEPARTMENT OF ARKANSAS STATE POLICE RULES FOR LICENSING AND REGULATION OF PRIVATE INVESTIGATORS, PRIVATE SECURITY AGENCIES, ALARM SYSTEMS COMPANIES, POLYGRAPH EXAMINERS, AND VOICE STRESS ANALYSIS EXAMINERS SECTION 1. TIT

              Add to Reading List

              Source URL: static.ark.org

              - Date: 2016-10-19 16:10:47
                158

                CheckerMode : A hybrid scheme for timing analysis of modern processor pipelines involving hardware/software interactions Sibin Mohan and Frank Mueller Dept. of Computer Science, Center for Embedded Systems Research, Nort

                Add to Reading List

                Source URL: moss.csc.ncsu.edu

                - Date: 2007-04-09 12:31:57
                  159

                  An Asymptotically Optimal Scheme for P2P File Sharing∗ Panayotis Antoniadis†, Costas Courcoubetis† and Richard Weber‡ Abstract The asymptotic analysis of certain public good models for p2p systems suggests that w

                  Add to Reading List

                  Source URL: nes.aueb.gr

                  - Date: 2013-09-14 08:34:31
                    160

                    Hybrid Systems Analysis of Periodic Control Systems using Continuization

                    Add to Reading List

                    Source URL: www.mys5.org

                    - Date: 2015-06-17 20:21:18
                      UPDATE